nequal($T$; $a$; $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg$($a$ = $b$ $\in$ $T$)